from hypothesis import given,assume
import hypothesis.strategies as st

# 测试绝对值函数非负性
@given(st.integers())
def test_abs(x):
    assert abs(x) >= 0  # 自动测试所有整数输入

@given(st.lists(st.integers(min_value=1), min_size=1))
def test_max_in_list(lst):
    assert max(lst) in lst  # 验证最大值必在列表中

@given(st.integers())
def test_division(x):
    assume(x> 0)
    assert (x / x) == 1  # 排除除数为0的情况
